Pseudo-rotations and Steenrod squares revisited

Computation of Cubical Steenrod Squares

Bitmap images of arbitrary dimension may be formally perceived as unions of m-dimensional boxes aligned with respect to a rectangular grid in R. Cohomology and homology groups are well known topological invariants of such sets. Cohomological operations, such as the cup product, provide higher-order algebraic topological invariants, especially important for digital images of dimension higher tha...

On the omputability of Steenrod squares

A Combinatorial Method for Computing Steenrod Squares

We present here a combinatorial method for computing cup-i products and Steenrod squares of a simplicial set X. This method is essentially based on the determination of explicit formulae for the component morphisms of a higher diagonal approximation (i.e., a family of morphisms measuring the lack of commutativity of the cup product on the cochain level) in terms of face operators of X. A genera...

Unstable modules over the Steenrod algebra revisited

A new and natural description of the category of unstable modules over the Steenrod algebra as a category of comodules over a bialgebra is given; the theory extends and unifies the work of Carlsson, Kuhn, Lannes, Miller, Schwartz, Zarati and others. Related categories of comodules are studied, which shed light upon the structure of the category of unstable modules at odd primes. In particular, ...

Minimax Problems Related to Cup Powers and Steenrod Squares

If F is a family of mod 2 k-cycles in the unit n-ball, we lower bound the maximal volume of any cycle in F in terms of the homology class of F in the space of all cycles. We give examples to show that these lower bounds are fairly sharp. This paper is about minimax estimates for the volumes of cycles in complicated families. The simplest example of a minimax problem is a classical result about ...